When All the Observers of a Distributed Computation Do Agree

Architectures parallèles, bases de données, réseaux et systèmes distribués When all the observers of a distributed computation do agree Abstract: A consistent observation of a distributed computation can be seen as a sequence of states and events that might have been produced by executing this computation on a monoprocessor. So a distributed execution generally accepts a lot of consistent observations. This paper concentrates on what all these observations have in common. An abstraction called inevitable global state is deened. A necessary and suucient condition characterizing such states is given and a monitor-based algorithm that detects them is also presented. Possible uses of such states are sketched. Quand tous les observateurs d'une ex ecution r epartie sont d'accord R esum e : On peut consid erer qu'une observation coh erente d'une ex ecution r epar-tie se compose d'une s equence d' etats et d' ev enements qui aurait pu ^ etre produite en d eroulant cette ex ecution r epartie sur un mono-processeur. Une telle ex ecution r e-partie accepte donc g en eralement un grand nombre d'observations coh erentes. Nous etudions ici une abstraction que nous appellerons etat global in evitable qui est un point commun a toutes les observations. Nous donnons une condition n ecessaire et suusante qui caract erise cette propri et e d'in evitabilit e etant donn e un etat global, pr esentons un algorithme reposant sur l'emploi d'un contr^ oleur centralis e qui d etecte de tels etats globaux et en r esumons quelques utilisations possibles.